PROOFTOOL: a GUI for the GAPT Framework
نویسندگان
چکیده
This paper introduces PROOFTOOL, the graphical user interface for the General Architecture for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization but also on the analysis and transformation of proofs and related tree-like structures, and its implementation is explained. Finally, PROOFTOOL is compared with three other graphical interfaces for proofs.
منابع مشابه
System Description: GAPT for schematic proofs
In contrast to automated and interactive theorem provers, which focus on the construction of proofs, GAPT (General Architecture for Proof Theory) is a proof theory framework concentrating on the transformation and further processing of proofs. In this paper, we describe an extension of GAPT for handling schematic proofs, that is recursively defined LK-proofs.
متن کاملIdentification of a new transmembrane adaptor protein that constitutively binds Grb2 in B cells.
Transmembrane adaptor proteins couple antigen receptor engagement to downstream signaling cascades in lymphocytes. One example of these proteins is the linker for activation of T cells (LAT), which plays an indispensable role in T cell activation and development. Here, we report identification of a new transmembrane adaptor molecule, namely growth factor receptor-bound protein 2 (Grb2)-binding ...
متن کاملHerbal formula GAPT prevents beta amyloid deposition induced Ca2+/Calmodulin-dependent protein kinase II and Ca2+/Calmodulin-dependent protein phosphatase 2B imbalance in APPV717I mice
BACKGROUND Synaptic dysfunction is one of the pathological characteristics of Alzheimer's disease (AD), which is directly related to the progressive decline of cognitive function. CaMKII and CaN have been found to play important roles in memory processes and synaptic transmission. So present study aimed to elucidate relationships between CaMKII, CaN and cognitive decline in APPV717I mice, and t...
متن کاملCharge Distributions in Polyacetylene Chains Containing a Positively Charged Defect
We present a comparative study of the AIM, CHELPG, GAPT, MK, Mulliken, NPA, and RESP charge distributions associated with a positively charged soliton on increasingly large trans-polyacetylene chains, at HF, MP2, and DFT levels of theory. The charge storage in the soliton-bearing systems is explored in detail, including charge magnitude, charge separation, charge alternation, and chain length e...
متن کاملArchitecture Design of A Lightweight Extensible GUI Framework for Games
Graphical user interface (GUI) design is a core part of games development, as it is responsible for the look and feel of a game to players. However, GUI design is often overlooked and also time consuming. This paper presents a novel architecture design of a lightweight extensible GUI framework for games to ease the pains of GUI design. Firstly, the core architecture of the GUI framework is desc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012